Proving possibility properties

Proving Possibility Properties Proving Possibility Properties

The charter of SRC i s t o a d v ance both the state of knowledge and the state of the art in computer systems. From our establishment in 1984, we have performed basic and applied research to support Digital's business objectives. Our current work includes exploring distributed personal computing on multiple platforms, networking, programming technology, system modelling and management techniqu...

Proving Possibility Properties

A method is described for proving “always possibly” properties of specifications in formalisms with linear-time trace semantics. It is shown to be relatively complete for TLA (Temporal Logic of Actions) specifications.

Proving Possibility

The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our establishment in 1984, we have performed basic and applied research to support Digital's business objectives. Our current work includes exploring distributed personal computing on multiple platforms, networking, programming technology, system modelling and management techniques, a...

From Possibility to Properties? Or from Properties to Possibility?

This paper contrasts two metaphysical accounts of modality and properties: Modal Realism which treats possible entities as primitive; and Strong Dispositionalism in which metaphysical possibility and necessity are determined by actually existing dispositions or powers. I argue that Strong Dispositionalism loses its initial advantages of simplicity and parsimony over Modal Realism as it is exten...

Theorem Proving Under Uncertainty - A Possibility Theory-based Approach